[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241 }

B grade: { }

C grade: { }

F grade: { 217 }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 19, 20, 24, 25, 26, 29, 30, 32, 33, 34, 35, 36, 41, 42, 43, 44, 45, 46, 50, 51, 52, 53, 54, 57, 58, 59, 60, 61, 65, 66, 67, 68, 69, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 145, 146, 150, 154, 155, 156, 157, 160, 161, 162, 164, 168, 184, 185, 186, 187, 188, 189, 190, 191, 192, 194, 196, 199, 201, 203, 204, 208, 218, 221, 222, 223, 224, 225, 226, 227, 228, 229, 233, 236, 237, 238, 239 }

B grade: { 6, 16, 17, 21, 22, 23, 28, 31, 37, 39, 40, 144, 193, 195, 197, 200, 202, 209, 210, 211, 212, 213, 214, 215, 216, 220, 230, 240, 241 }

C grade: { 7, 18, 27, 38, 47, 48, 49, 55, 56, 62, 63, 64, 70, 71, 77, 78, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 143, 147, 148, 149, 151, 152, 153, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 198, 205, 206, 207, 217, 219, 231, 232 }

F grade: { 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 234, 235 }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39, 40, 41, 44, 45, 46, 51, 60, 68, 69, 86, 87, 88, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 108, 109, 110, 111, 112, 113, 115, 116, 117, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 143, 144, 145, 146, 149, 189, 201, 203, 204, 207, 208, 217, 218, 219, 221, 222, 223, 224, 225, 226, 227, 228, 229, 236 }

B grade: { 42, 43, 47, 48, 49, 50, 52, 53, 54, 55, 56, 57, 58, 59, 61, 62, 63, 64, 65, 66, 67, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 89, 90, 105, 106, 107, 114, 118, 147, 148, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 202, 205, 206, 209, 210, 211, 212, 213, 214, 215, 216, 220 }

C grade: { }

F grade: { 27, 38, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 230, 231, 232, 233, 234, 235, 237, 238, 239, 240, 241 }

2.1.4 Maxima

A grade: { 1, 2, 4, 5, 13, 15, 26, 27, 28, 29, 30, 35, 36, 37, 38, 39, 40, 41, 89, 90, 97, 98, 106, 112, 113, 114, 119, 125, 221, 222, 223, 224, 225, 226, 227, 228, 229, 236 }

B grade: { 3, 6, 7, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 31, 32, 33, 34, 45, 52, 59, 86, 87, 88, 91, 92, 93, 94, 95, 96, 99, 100, 101, 102, 103, 107, 108, 109, 115, 116, 117, 120, 121, 122, 123, 126, 127, 128, 129, 130, 150, 156, 162 }

C grade: { }

F grade: { 42, 43, 44, 46, 47, 48, 49, 50, 51, 53, 54, 55, 56, 57, 58, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 104, 105, 110, 111, 118, 124, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 151, 152, 153, 154, 155, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 230, 231, 232, 233, 234, 235, 237, 238, 239, 240, 241 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 76, 77, 78, 79, 80, 81, 82, 84, 85, 86, 87, 88, 94, 95, 96, 101, 102, 103, 130, 143, 147, 148, 149, 150, 151, 152, 154, 155, 156, 157, 158, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 172, 173, 178, 179, 184, 185, 187, 188, 189, 236 }

B grade: { 5, 22, 23, 61, 62, 63, 74, 75, 83, 89, 105, 114, 118, 122, 153, 159, 174, 180, 186, 190, 191, 192, 193, 194, 195, 196, 197 }

C grade: { }

F grade: { 90, 91, 92, 93, 97, 98, 99, 100, 104, 106, 107, 108, 109, 110, 111, 112, 113, 115, 116, 117, 119, 120, 121, 123, 124, 125, 126, 127, 128, 129, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 144, 145, 146, 170, 171, 175, 176, 177, 181, 182, 183, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 237, 238, 239, 240, 241 }

2.1.6 Sympy

A grade: { 221, 222, 224, 225, 236 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 223, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 237, 238, 239, 240, 241 }

2.1.7 Giac

A grade: { 4, 7, 8, 9, 10, 13, 18, 19, 20, 24, 25, 26, 28, 29, 30, 33, 34, 35, 36, 37, 39, 40, 41, 190, 192, 221, 222, 223, 224, 225, 226, 227, 228, 229, 236 }

B grade: { 27, 38, 189, 191, 193, 194, 195, 196, 197 }

C grade: { }

F grade: { 1, 2, 3, 5, 6, 11, 12, 14, 15, 16, 17, 21, 22, 23, 31, 32, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 230, 231, 232, 233, 234, 235, 237, 238, 239, 240, 241 }

2.1.8 Mupad

A grade: { 221, 222, 224, 225, 227, 236 }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 189, 190, 191, 192, 193, 194, 195, 196, 197 }

C grade: { }

F grade: { 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 223, 226, 228, 229, 230, 231, 232, 233, 234, 235, 237, 238, 239, 240, 241 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 196 196 165 186 334 179 0 0 228
normalized size 1 1.00 0.84 0.95 1.70 0.91 0.00 0.00 1.16
time (sec) N/A 0.302 2.130 1.578 0.345 0.463 0.000 0.000 2.534
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 146 161 240 163 0 0 195
normalized size 1 1.00 1.04 1.15 1.71 1.16 0.00 0.00 1.39
time (sec) N/A 0.199 1.166 1.406 0.341 0.518 0.000 0.000 2.300
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 122 136 203 147 0 0 163
normalized size 1 1.00 1.26 1.40 2.09 1.52 0.00 0.00 1.68
time (sec) N/A 0.118 0.735 1.219 0.333 0.488 0.000 0.000 2.189
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 45 58 57 65 0 51 84
normalized size 1 1.00 0.96 1.23 1.21 1.38 0.00 1.09 1.79
time (sec) N/A 0.065 0.031 0.820 0.321 0.433 0.000 0.303 3.709
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 72 76 95 103 0 0 91
normalized size 1 1.00 1.31 1.38 1.73 1.87 0.00 0.00 1.65
time (sec) N/A 0.063 0.290 0.856 0.326 0.476 0.000 0.000 1.513
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 169 90 153 87 0 0 46
normalized size 1 1.00 3.02 1.61 2.73 1.55 0.00 0.00 0.82
time (sec) N/A 0.164 0.293 0.777 0.431 0.484 0.000 0.000 1.484
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 53 67 174 88 0 60 40
normalized size 1 1.00 0.75 0.94 2.45 1.24 0.00 0.85 0.56
time (sec) N/A 0.236 0.058 0.862 0.443 0.458 0.000 0.291 1.389
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 171 89 215 128 0 76 96
normalized size 1 1.00 1.68 0.87 2.11 1.25 0.00 0.75 0.94
time (sec) N/A 0.329 0.629 1.046 0.445 0.425 0.000 0.462 1.450
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 227 111 294 172 0 93 124
normalized size 1 1.00 1.71 0.83 2.21 1.29 0.00 0.70 0.93
time (sec) N/A 0.427 0.635 0.904 0.435 0.435 0.000 0.329 1.496
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 283 133 335 212 0 110 146
normalized size 1 1.00 1.73 0.81 2.04 1.29 0.00 0.67 0.89
time (sec) N/A 0.543 0.995 0.845 0.446 0.463 0.000 0.439 1.536
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 188 189 211 356 195 0 0 259
normalized size 1 1.00 1.01 1.12 1.89 1.04 0.00 0.00 1.38
time (sec) N/A 0.237 2.236 1.621 0.338 0.485 0.000 0.000 2.619
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 165 186 334 179 0 0 227
normalized size 1 1.00 1.25 1.41 2.53 1.36 0.00 0.00 1.72
time (sec) N/A 0.151 1.871 1.646 0.338 0.526 0.000 0.000 2.593
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 61 93 94 81 0 69 122
normalized size 1 1.00 0.90 1.37 1.38 1.19 0.00 1.01 1.79
time (sec) N/A 0.074 0.039 1.056 0.323 0.465 0.000 0.553 4.959
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 122 136 203 147 0 0 163
normalized size 1 1.00 1.26 1.40 2.09 1.52 0.00 0.00 1.68
time (sec) N/A 0.114 0.798 1.254 0.337 0.496 0.000 0.000 2.133
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 101 98 107 118 0 0 104
normalized size 1 1.00 1.31 1.27 1.39 1.53 0.00 0.00 1.35
time (sec) N/A 0.147 0.453 0.863 0.312 0.448 0.000 0.000 1.552
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 240 137 274 125 0 0 85
normalized size 1 1.00 3.08 1.76 3.51 1.60 0.00 0.00 1.09
time (sec) N/A 0.209 2.580 0.701 0.434 0.515 0.000 0.000 1.479
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 177 90 274 156 0 0 45
normalized size 1 1.00 2.01 1.02 3.11 1.77 0.00 0.00 0.51
time (sec) N/A 0.361 1.182 0.833 0.439 0.455 0.000 0.000 1.437
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 53 89 282 128 0 77 96
normalized size 1 1.00 0.52 0.87 2.76 1.25 0.00 0.75 0.94
time (sec) N/A 0.452 0.099 0.819 0.443 0.429 0.000 0.396 1.378
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 227 111 383 172 0 93 122
normalized size 1 1.00 1.71 0.83 2.88 1.29 0.00 0.70 0.92
time (sec) N/A 0.579 0.599 0.881 0.447 0.453 0.000 0.588 1.438
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 283 133 403 212 0 110 146
normalized size 1 1.00 1.73 0.81 2.46 1.29 0.00 0.67 0.89
time (sec) N/A 0.733 0.902 0.893 0.458 0.438 0.000 0.555 1.461
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 153 384 207 603 242 0 0 145
normalized size 1 1.12 2.82 1.52 4.43 1.78 0.00 0.00 1.07
time (sec) N/A 0.402 3.151 0.708 0.438 0.459 0.000 0.000 1.495
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 753 159 413 220 0 0 112
normalized size 1 1.00 7.38 1.56 4.05 2.16 0.00 0.00 1.10
time (sec) N/A 0.309 6.262 0.679 0.442 0.488 0.000 0.000 1.471
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 216 90 268 173 0 0 46
normalized size 1 1.00 2.54 1.06 3.15 2.04 0.00 0.00 0.54
time (sec) N/A 0.331 1.096 0.818 0.431 0.463 0.000 0.000 1.410
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 67 65 170 94 0 63 38
normalized size 1 1.00 1.00 0.97 2.54 1.40 0.00 0.94 0.57
time (sec) N/A 0.228 0.051 0.859 0.428 0.450 0.000 0.392 1.375
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 113 59 119 86 0 56 41
normalized size 1 1.00 1.85 0.97 1.95 1.41 0.00 0.92 0.67
time (sec) N/A 0.145 0.312 0.900 0.422 0.470 0.000 0.277 1.336
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 135 87 102 70 0 85 69
normalized size 1 1.00 1.96 1.26 1.48 1.01 0.00 1.23 1.00
time (sec) N/A 0.114 0.548 0.840 0.428 0.425 0.000 0.398 1.422
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F(-2) A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 39 0 46 81 0 100 58
normalized size 1 1.00 0.85 0.00 1.00 1.76 0.00 2.17 1.26
time (sec) N/A 0.071 0.049 180.000 0.422 0.414 0.000 0.288 1.468
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 257 130 147 154 0 116 161
normalized size 1 1.00 2.62 1.33 1.50 1.57 0.00 1.18 1.64
time (sec) N/A 0.145 1.411 1.100 0.426 0.424 0.000 0.434 1.544
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 315 153 167 166 0 129 185
normalized size 1 1.00 1.90 0.92 1.01 1.00 0.00 0.78 1.11
time (sec) N/A 0.211 1.271 0.950 0.428 0.490 0.000 0.948 1.635
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 383 175 186 232 0 143 209
normalized size 1 1.00 1.82 0.83 0.89 1.10 0.00 0.68 1.00
time (sec) N/A 0.286 1.199 0.945 0.429 0.424 0.000 0.476 1.779
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 162 162 557 179 562 289 0 0 134
normalized size 1 1.00 3.44 1.10 3.47 1.78 0.00 0.00 0.83
time (sec) N/A 0.443 5.880 0.641 0.435 0.452 0.000 0.000 1.490
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 231 110 396 242 0 0 50
normalized size 1 1.00 1.56 0.74 2.68 1.64 0.00 0.00 0.34
time (sec) N/A 0.606 1.202 0.772 0.435 0.480 0.000 0.000 1.421
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 90 87 277 138 0 84 93
normalized size 1 1.00 0.94 0.91 2.89 1.44 0.00 0.88 0.97
time (sec) N/A 0.421 0.078 0.794 0.432 0.439 0.000 0.374 1.404
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 171 87 211 138 0 84 93
normalized size 1 1.00 1.78 0.91 2.20 1.44 0.00 0.88 0.97
time (sec) N/A 0.304 0.466 0.768 0.435 0.442 0.000 0.333 1.396
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 169 79 159 124 0 75 85
normalized size 1 1.00 1.92 0.90 1.81 1.41 0.00 0.85 0.97
time (sec) N/A 0.202 0.460 0.752 0.430 0.427 0.000 1.193 1.377
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 197 109 122 109 0 107 82
normalized size 1 1.00 1.56 0.87 0.97 0.87 0.00 0.85 0.65
time (sec) N/A 0.193 0.988 0.985 0.425 0.428 0.000 0.331 1.425
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 257 131 146 154 0 122 161
normalized size 1 1.00 2.57 1.31 1.46 1.54 0.00 1.22 1.61
time (sec) N/A 0.143 1.008 1.083 0.425 0.426 0.000 0.350 1.504
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F(-2) A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 39 0 56 118 0 136 94
normalized size 1 1.00 0.58 0.00 0.84 1.76 0.00 2.03 1.40
time (sec) N/A 0.081 0.070 180.000 0.427 0.448 0.000 0.459 1.569
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 129 129 362 174 187 232 0 150 209
normalized size 1 1.00 2.81 1.35 1.45 1.80 0.00 1.16 1.62
time (sec) N/A 0.173 1.405 0.981 0.440 0.447 0.000 0.438 1.852
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 441 197 205 271 0 163 233
normalized size 1 1.00 2.10 0.94 0.98 1.29 0.00 0.78 1.11
time (sec) N/A 0.236 1.742 0.982 0.444 0.462 0.000 0.507 2.041
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 252 252 499 219 227 310 0 179 257
normalized size 1 1.00 1.98 0.87 0.90 1.23 0.00 0.71 1.02
time (sec) N/A 0.300 2.362 0.999 0.449 0.455 0.000 0.981 2.328
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 175 121 391 0 373 0 0 -1
normalized size 1 1.00 0.69 2.23 0.00 2.13 0.00 0.00 -0.01
time (sec) N/A 0.176 1.048 1.896 0.000 0.507 0.000 0.000 0.000
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 111 302 0 347 0 0 -1
normalized size 1 1.00 0.79 2.16 0.00 2.48 0.00 0.00 -0.01
time (sec) N/A 0.168 1.195 1.747 0.000 0.481 0.000 0.000 0.000
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 97 142 0 313 0 0 -1
normalized size 1 1.00 0.92 1.35 0.00 2.98 0.00 0.00 -0.01
time (sec) N/A 0.158 0.885 1.714 0.000 0.494 0.000 0.000 0.000
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 70 115 147 234 0 0 -1
normalized size 1 1.00 1.06 1.74 2.23 3.55 0.00 0.00 -0.02
time (sec) N/A 0.109 0.321 1.420 0.835 0.444 0.000 0.000 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 90 116 0 266 0 0 -1
normalized size 1 1.00 1.30 1.68 0.00 3.86 0.00 0.00 -0.01
time (sec) N/A 0.148 0.588 1.585 0.000 0.589 0.000 0.000 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 78 214 0 339 0 0 -1
normalized size 1 1.00 0.75 2.06 0.00 3.26 0.00 0.00 -0.01
time (sec) N/A 0.157 0.242 1.682 0.000 0.545 0.000 0.000 0.000
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 78 311 0 405 0 0 -1
normalized size 1 1.00 0.56 2.24 0.00 2.91 0.00 0.00 -0.01
time (sec) N/A 0.167 0.265 1.899 0.000 0.580 0.000 0.000 0.000
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 174 78 402 0 475 0 0 -1
normalized size 1 1.00 0.45 2.31 0.00 2.73 0.00 0.00 -0.01
time (sec) N/A 0.177 0.244 2.200 0.000 0.639 0.000 0.000 0.000
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 177 177 122 392 0 385 0 0 -1
normalized size 1 1.00 0.69 2.21 0.00 2.18 0.00 0.00 -0.01
time (sec) N/A 0.184 0.949 2.332 0.000 0.483 0.000 0.000 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 112 232 0 355 0 0 -1
normalized size 1 1.00 0.79 1.63 0.00 2.50 0.00 0.00 -0.01
time (sec) N/A 0.170 0.908 1.840 0.000 0.462 0.000 0.000 0.000
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 96 212 998 303 0 0 -1
normalized size 1 1.00 0.95 2.10 9.88 3.00 0.00 0.00 -0.01
time (sec) N/A 0.123 0.677 1.431 0.818 0.459 0.000 0.000 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 93 194 0 269 0 0 -1
normalized size 1 1.00 1.33 2.77 0.00 3.84 0.00 0.00 -0.01
time (sec) N/A 0.156 0.584 1.374 0.000 0.540 0.000 0.000 0.000
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 113 215 0 351 0 0 -1
normalized size 1 1.00 1.11 2.11 0.00 3.44 0.00 0.00 -0.01
time (sec) N/A 0.162 0.643 1.550 0.000 0.549 0.000 0.000 0.000
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 102 304 0 417 0 0 -1
normalized size 1 1.00 0.74 2.22 0.00 3.04 0.00 0.00 -0.01
time (sec) N/A 0.178 0.804 1.762 0.000 0.560 0.000 0.000 0.000
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 172 172 102 401 0 495 0 0 -1
normalized size 1 1.00 0.59 2.33 0.00 2.88 0.00 0.00 -0.01
time (sec) N/A 0.187 1.291 1.768 0.000 0.603 0.000 0.000 0.000
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 134 483 0 441 0 0 -1
normalized size 1 1.00 0.63 2.28 0.00 2.08 0.00 0.00 -0.00
time (sec) N/A 0.191 1.305 1.837 0.000 0.525 0.000 0.000 0.000
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 177 177 124 323 0 409 0 0 -1
normalized size 1 1.00 0.70 1.82 0.00 2.31 0.00 0.00 -0.01
time (sec) N/A 0.174 0.924 1.572 0.000 0.490 0.000 0.000 0.000
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 110 303 1396 353 0 0 -1
normalized size 1 1.00 0.83 2.30 10.58 2.67 0.00 0.00 -0.01
time (sec) N/A 0.141 0.813 1.368 1.146 0.500 0.000 0.000 0.000
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 96 120 0 291 0 0 -1
normalized size 1 1.00 0.93 1.17 0.00 2.83 0.00 0.00 -0.01
time (sec) N/A 0.172 0.719 1.356 0.000 0.577 0.000 0.000 0.000
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) B F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 102 351 0 339 0 0 -1
normalized size 1 1.00 1.38 4.74 0.00 4.58 0.00 0.00 -0.01
time (sec) N/A 0.168 4.224 1.419 0.000 0.567 0.000 0.000 0.000
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 104 104 196 306 0 441 0 0 -1
normalized size 1 1.00 1.88 2.94 0.00 4.24 0.00 0.00 -0.01
time (sec) N/A 0.177 5.331 1.619 0.000 0.570 0.000 0.000 0.000
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) B F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 140 140 361 395 0 527 0 0 -1
normalized size 1 1.00 2.58 2.82 0.00 3.76 0.00 0.00 -0.01
time (sec) N/A 0.184 7.977 1.627 0.000 0.567 0.000 0.000 0.000
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 172 172 205 492 0 601 0 0 -1
normalized size 1 1.00 1.19 2.86 0.00 3.49 0.00 0.00 -0.01
time (sec) N/A 0.198 3.561 1.899 0.000 0.576 0.000 0.000 0.000
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 185 185 153 544 0 552 0 0 -1
normalized size 1 1.00 0.83 2.94 0.00 2.98 0.00 0.00 -0.01
time (sec) N/A 0.276 1.452 1.974 0.000 1.257 0.000 0.000 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 152 152 166 372 0 518 0 0 -1
normalized size 1 1.00 1.09 2.45 0.00 3.41 0.00 0.00 -0.01
time (sec) N/A 0.228 1.331 1.921 0.000 1.029 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 124 329 0 438 0 0 -1
normalized size 1 1.00 1.04 2.76 0.00 3.68 0.00 0.00 -0.01
time (sec) N/A 0.188 0.506 1.897 0.000 0.725 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 82 144 0 298 0 0 -1
normalized size 1 1.00 0.94 1.66 0.00 3.43 0.00 0.00 -0.01
time (sec) N/A 0.138 0.297 1.523 0.000 0.597 0.000 0.000 0.000
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 101 194 0 436 0 0 -1
normalized size 1 1.00 0.83 1.60 0.00 3.60 0.00 0.00 -0.01
time (sec) N/A 0.192 0.575 1.719 0.000 0.618 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 161 161 5576 377 0 520 0 0 -1
normalized size 1 1.00 34.63 2.34 0.00 3.23 0.00 0.00 -0.01
time (sec) N/A 0.235 24.117 1.952 0.000 0.604 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 196 196 5592 545 0 608 0 0 -1
normalized size 1 1.00 28.53 2.78 0.00 3.10 0.00 0.00 -0.01
time (sec) N/A 0.284 23.742 2.566 0.000 0.610 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 196 552 0 634 0 0 -1
normalized size 1 1.00 0.97 2.72 0.00 3.12 0.00 0.00 -0.00
time (sec) N/A 0.286 1.579 1.970 0.000 1.869 0.000 0.000 0.000
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 132 377 0 550 0 0 -1
normalized size 1 1.00 0.78 2.23 0.00 3.25 0.00 0.00 -0.01
time (sec) N/A 0.240 1.772 1.992 0.000 1.018 0.000 0.000 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 134 128 369 0 542 0 0 -1
normalized size 1 1.13 1.08 3.10 0.00 4.55 0.00 0.00 -0.01
time (sec) N/A 0.192 1.114 1.762 0.000 0.934 0.000 0.000 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 130 130 371 0 505 0 0 -1
normalized size 1 1.15 1.15 3.28 0.00 4.47 0.00 0.00 -0.01
time (sec) N/A 0.166 1.003 1.870 0.000 0.666 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 177 177 154 377 0 514 0 0 -1
normalized size 1 1.00 0.87 2.13 0.00 2.90 0.00 0.00 -0.01
time (sec) N/A 0.244 1.185 1.904 0.000 0.631 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 214 214 5612 387 0 560 0 0 -1
normalized size 1 1.00 26.22 1.81 0.00 2.62 0.00 0.00 -0.00
time (sec) N/A 0.278 24.032 2.498 0.000 0.652 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 249 249 5629 725 0 714 0 0 -1
normalized size 1 1.00 22.61 2.91 0.00 2.87 0.00 0.00 -0.00
time (sec) N/A 0.340 23.977 2.508 0.000 0.693 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 260 260 180 726 0 742 0 0 -1
normalized size 1 1.00 0.69 2.79 0.00 2.85 0.00 0.00 -0.00
time (sec) N/A 0.341 3.642 2.549 0.000 2.963 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 229 229 164 550 0 655 0 0 -1
normalized size 1 1.00 0.72 2.40 0.00 2.86 0.00 0.00 -0.00
time (sec) N/A 0.296 2.680 2.058 0.000 2.476 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 136 553 0 645 0 0 -1
normalized size 1 1.00 0.71 2.90 0.00 3.38 0.00 0.00 -0.01
time (sec) N/A 0.252 1.590 2.112 0.000 1.982 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 136 545 0 645 0 0 -1
normalized size 1 1.00 0.72 2.88 0.00 3.41 0.00 0.00 -0.01
time (sec) N/A 0.230 1.561 1.879 0.000 1.529 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 181 134 543 0 605 0 0 -1
normalized size 1 1.22 0.91 3.67 0.00 4.09 0.00 0.00 -0.01
time (sec) N/A 0.192 1.490 1.618 0.000 1.035 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 230 230 158 545 0 608 0 0 -1
normalized size 1 1.00 0.69 2.37 0.00 2.64 0.00 0.00 -0.00
time (sec) N/A 0.306 1.519 2.158 0.000 0.658 0.000 0.000 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 269 269 5650 725 0 706 0 0 -1
normalized size 1 1.00 21.00 2.70 0.00 2.62 0.00 0.00 -0.00
time (sec) N/A 0.335 24.173 2.328 0.000 0.675 0.000 0.000 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 185 185 149 195 1289 459 0 0 -1
normalized size 1 1.00 0.81 1.05 6.97 2.48 0.00 0.00 -0.01
time (sec) N/A 0.372 6.136 2.575 0.887 0.592 0.000 0.000 0.000
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 162 185 710 425 0 0 -1
normalized size 1 1.00 1.17 1.33 5.11 3.06 0.00 0.00 -0.01
time (sec) N/A 0.273 2.311 2.354 1.041 0.566 0.000 0.000 0.000
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 99 165 243 350 0 0 -1
normalized size 1 1.00 1.06 1.77 2.61 3.76 0.00 0.00 -0.01
time (sec) N/A 0.178 1.244 2.306 0.774 0.569 0.000 0.000 0.000
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 102 128 39 200 0 0 -1
normalized size 1 1.00 2.12 2.67 0.81 4.17 0.00 0.00 -0.02
time (sec) N/A 0.084 0.582 2.398 0.813 0.571 0.000 0.000 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 86 100 65 0 0 0 -1
normalized size 1 1.00 1.69 1.96 1.27 0.00 0.00 0.00 -0.02
time (sec) N/A 0.086 0.978 2.120 0.593 0.567 0.000 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 107 164 399 0 0 0 -1
normalized size 1 1.00 1.11 1.71 4.16 0.00 0.00 0.00 -0.01
time (sec) N/A 0.179 1.042 2.548 1.028 0.545 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 152 226 1173 0 0 0 -1
normalized size 1 1.00 1.07 1.59 8.26 0.00 0.00 0.00 -0.01
time (sec) N/A 0.271 1.254 2.678 1.097 0.552 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 188 198 288 2444 0 0 0 -1
normalized size 1 1.00 1.05 1.53 13.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.366 1.942 2.179 4.634 0.564 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 190 190 157 190 1356 467 0 0 -1
normalized size 1 1.00 0.83 1.00 7.14 2.46 0.00 0.00 -0.01
time (sec) N/A 0.364 1.278 2.002 1.052 0.571 0.000 0.000 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 159 172 477 346 0 0 -1
normalized size 1 1.00 1.54 1.67 4.63 3.36 0.00 0.00 -0.01
time (sec) N/A 0.110 1.391 2.084 0.887 0.587 0.000 0.000 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 128 152 243 347 0 0 -1
normalized size 1 1.00 1.38 1.63 2.61 3.73 0.00 0.00 -0.01
time (sec) N/A 0.169 0.784 2.031 0.991 0.566 0.000 0.000 0.000
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 105 157 60 0 0 0 -1
normalized size 1 1.00 1.01 1.51 0.58 0.00 0.00 0.00 -0.01
time (sec) N/A 0.103 1.201 1.948 0.556 0.632 0.000 0.000 0.000
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 115 161 95 0 0 0 -1
normalized size 1 1.00 1.15 1.61 0.95 0.00 0.00 0.00 -0.01
time (sec) N/A 0.186 0.685 1.973 0.723 0.567 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 153 227 1786 0 0 0 -1
normalized size 1 1.00 1.05 1.55 12.23 0.00 0.00 0.00 -0.01
time (sec) N/A 0.283 1.272 2.095 1.213 0.569 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 196 196 199 289 3480 0 0 0 -1
normalized size 1 1.00 1.02 1.47 17.76 0.00 0.00 0.00 -0.01
time (sec) N/A 0.382 2.202 2.295 3.656 0.614 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 153 164 192 1619 405 0 0 -1
normalized size 1 1.00 1.07 1.25 10.58 2.65 0.00 0.00 -0.01
time (sec) N/A 0.120 1.536 2.104 1.181 0.599 0.000 0.000 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 190 190 149 200 1356 467 0 0 -1
normalized size 1 1.00 0.78 1.05 7.14 2.46 0.00 0.00 -0.01
time (sec) N/A 0.363 1.196 2.047 1.114 0.579 0.000 0.000 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 164 180 710 420 0 0 -1
normalized size 1 1.00 1.18 1.29 5.11 3.02 0.00 0.00 -0.01
time (sec) N/A 0.263 1.404 2.324 1.051 0.560 0.000 0.000 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 152 152 292 184 0 0 0 0 -1
normalized size 1 1.00 1.92 1.21 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.114 6.764 2.061 0.000 0.616 0.000 0.000 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) B F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 111 239 0 442 0 0 -1
normalized size 1 1.00 1.16 2.49 0.00 4.60 0.00 0.00 -0.01
time (sec) N/A 0.179 1.294 2.256 0.000 0.585 0.000 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 155 229 139 0 0 0 -1
normalized size 1 1.00 1.55 2.29 1.39 0.00 0.00 0.00 -0.01
time (sec) N/A 0.181 1.386 2.251 0.567 0.558 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 202 281 3738 0 0 0 -1
normalized size 1 1.00 1.36 1.90 25.26 0.00 0.00 0.00 -0.01
time (sec) N/A 0.278 2.670 2.369 4.396 0.571 0.000 0.000 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 285 353 6134 0 0 0 -1
normalized size 1 1.00 1.47 1.82 31.62 0.00 0.00 0.00 -0.01
time (sec) N/A 0.376 5.498 2.352 24.801 0.616 0.000 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 244 244 299 415 9150 0 0 0 -1
normalized size 1 1.00 1.23 1.70 37.50 0.00 0.00 0.00 -0.00
time (sec) N/A 0.474 5.986 2.192 146.306 0.613 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 153 190 0 0 0 0 -1
normalized size 1 1.00 0.75 0.93 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.124 16.348 2.216 0.000 0.633 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 151 151 181 170 0 0 0 0 -1
normalized size 1 1.00 1.20 1.13 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.113 4.017 2.238 0.000 0.615 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 103 93 60 0 0 0 -1
normalized size 1 1.00 1.01 0.91 0.59 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 9.715 2.396 0.835 0.618 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 127 75 34 0 0 0 -1
normalized size 1 1.00 2.59 1.53 0.69 0.00 0.00 0.00 -0.02
time (sec) N/A 0.084 0.981 2.411 0.729 0.523 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 104 101 39 272 0 0 -1
normalized size 1 1.00 2.26 2.20 0.85 5.91 0.00 0.00 -0.02
time (sec) N/A 0.090 1.085 2.376 0.838 0.725 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 217 143 167 818 0 0 0 -1
normalized size 1 1.29 0.85 0.99 4.87 0.00 0.00 0.00 -0.01
time (sec) N/A 0.137 8.673 2.591 0.950 0.650 0.000 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 274 274 194 229 2206 0 0 0 -1
normalized size 1 1.00 0.71 0.84 8.05 0.00 0.00 0.00 -0.00
time (sec) N/A 0.161 1.930 2.587 1.279 1.018 0.000 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 215 215 204 278 2393 0 0 0 -1
normalized size 1 1.00 0.95 1.29 11.13 0.00 0.00 0.00 -0.00
time (sec) N/A 0.145 2.275 2.271 1.484 0.736 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) B F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 116 238 0 453 0 0 -1
normalized size 1 1.00 1.21 2.48 0.00 4.72 0.00 0.00 -0.01
time (sec) N/A 0.193 0.744 2.163 0.000 0.576 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 114 106 70 0 0 0 -1
normalized size 1 1.00 1.16 1.08 0.71 0.00 0.00 0.00 -0.01
time (sec) N/A 0.196 1.140 2.191 0.726 0.526 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 106 119 395 0 0 0 -1
normalized size 1 1.00 1.13 1.27 4.20 0.00 0.00 0.00 -0.01
time (sec) N/A 0.189 0.633 2.302 0.957 0.551 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 215 215 141 159 818 0 0 0 -1
normalized size 1 1.00 0.66 0.74 3.80 0.00 0.00 0.00 -0.00
time (sec) N/A 0.146 1.418 2.433 0.958 0.806 0.000 0.000 0.000
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 121 173 486 492 0 0 -1
normalized size 1 1.00 1.20 1.71 4.81 4.87 0.00 0.00 -0.01
time (sec) N/A 0.121 1.528 2.391 0.880 0.863 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 347 347 275 293 4272 0 0 0 -1
normalized size 1 1.00 0.79 0.84 12.31 0.00 0.00 0.00 -0.00
time (sec) N/A 0.184 2.619 2.948 4.183 0.801 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 220 220 157 338 0 0 0 0 -1
normalized size 1 1.00 0.71 1.54 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.144 2.540 2.602 0.000 0.692 0.000 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 154 144 102 0 0 0 -1
normalized size 1 1.00 1.57 1.47 1.04 0.00 0.00 0.00 -0.01
time (sec) N/A 0.187 1.572 2.747 0.714 0.559 0.000 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 152 152 1786 0 0 0 -1
normalized size 1 1.00 1.06 1.06 12.40 0.00 0.00 0.00 -0.01
time (sec) N/A 0.288 0.866 2.653 1.146 0.557 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 151 152 1165 0 0 0 -1
normalized size 1 1.00 1.08 1.09 8.32 0.00 0.00 0.00 -0.01
time (sec) N/A 0.282 0.675 2.787 1.397 0.574 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 270 270 195 223 2206 0 0 0 -1
normalized size 1 1.00 0.72 0.83 8.17 0.00 0.00 0.00 -0.00
time (sec) N/A 0.154 1.659 2.707 1.144 0.771 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 345 345 275 284 4272 0 0 0 -1
normalized size 1 1.00 0.80 0.82 12.38 0.00 0.00 0.00 -0.00
time (sec) N/A 0.181 2.400 2.604 4.632 0.795 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 151 151 149 237 1386 564 0 0 -1
normalized size 1 1.00 0.99 1.57 9.18 3.74 0.00 0.00 -0.01
time (sec) N/A 0.131 2.192 2.480 1.338 1.022 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 92 92 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.094 1.103 2.135 0.000 0.478 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 109 109 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.122 0.445 2.389 0.000 0.507 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 101 101 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.100 3.242 2.857 0.000 0.452 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 101 101 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.099 1.526 2.293 0.000 0.460 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 99 99 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 1.598 2.099 0.000 0.431 0.000 0.000 0.000
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 99 99 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.100 0.999 2.274 0.000 0.433 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 101 101 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.100 1.726 1.752 0.000 0.442 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 172 172 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.145 8.540 1.739 0.000 0.453 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 119 119 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.162 11.826 1.727 0.000 0.466 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 68 68 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.083 0.143 1.883 0.000 0.455 0.000 0.000 0.000
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 139 139 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 1.363 1.928 0.000 0.447 0.000 0.000 0.000
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 205 205 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.168 1.765 2.005 0.000 0.461 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 133 141 0 293 0 0 -1
normalized size 1 1.00 1.46 1.55 0.00 3.22 0.00 0.00 -0.01
time (sec) N/A 0.082 0.652 1.781 0.000 0.556 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 810 295 0 0 0 0 -1
normalized size 1 1.00 3.51 1.28 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.257 18.228 1.923 0.000 0.826 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 178 285 0 0 0 0 -1
normalized size 1 1.00 0.79 1.27 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.211 8.746 1.985 0.000 22.527 0.000 0.000 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 319 319 187 327 0 0 0 0 -1
normalized size 1 1.00 0.59 1.03 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.370 12.708 2.100 0.000 0.818 0.000 0.000 0.000
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 271 271 587 546 0 472 0 0 -1
normalized size 1 1.00 2.17 2.01 0.00 1.74 0.00 0.00 -0.00
time (sec) N/A 0.173 14.296 2.134 0.000 0.512 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 205 205 517 389 0 392 0 0 -1
normalized size 1 1.00 2.52 1.90 0.00 1.91 0.00 0.00 -0.00
time (sec) N/A 0.141 14.186 1.955 0.000 0.483 0.000 0.000 0.000
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 144 144 444 248 0 320 0 0 -1
normalized size 1 1.00 3.08 1.72 0.00 2.22 0.00 0.00 -0.01
time (sec) N/A 0.116 6.589 1.735 0.000 0.478 0.000 0.000 0.000
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 76 118 147 235 0 0 -1
normalized size 1 1.00 1.15 1.79 2.23 3.56 0.00 0.00 -0.02
time (sec) N/A 0.087 0.315 1.546 0.592 0.501 0.000 0.000 0.000
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 105 105 2650 502 0 669 0 0 -1
normalized size 1 1.00 25.24 4.78 0.00 6.37 0.00 0.00 -0.01
time (sec) N/A 0.230 25.068 1.750 0.000 0.868 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 219 219 2907 97265 0 1413 0 0 -1
normalized size 1 1.00 13.27 444.13 0.00 6.45 0.00 0.00 -0.00
time (sec) N/A 0.222 28.578 2.998 0.000 2.865 0.000 0.000 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 287 287 3070 330749 0 2368 0 0 -1
normalized size 1 1.00 10.70 1152.44 0.00 8.25 0.00 0.00 -0.00
time (sec) N/A 0.307 24.493 19.097 0.000 7.738 0.000 0.000 0.000
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 241 241 219 539 0 482 0 0 -1
normalized size 1 1.00 0.91 2.24 0.00 2.00 0.00 0.00 -0.00
time (sec) N/A 0.200 3.892 1.853 0.000 0.502 0.000 0.000 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 145 382 0 398 0 0 -1
normalized size 1 1.00 0.82 2.17 0.00 2.26 0.00 0.00 -0.01
time (sec) N/A 0.144 1.335 1.674 0.000 0.504 0.000 0.000 0.000
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 102 237 998 316 0 0 -1
normalized size 1 1.00 0.97 2.26 9.50 3.01 0.00 0.00 -0.01
time (sec) N/A 0.150 0.590 1.536 1.400 0.511 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 135 864 0 731 0 0 -1
normalized size 1 1.00 1.23 7.85 0.00 6.65 0.00 0.00 -0.01
time (sec) N/A 0.241 0.497 1.493 0.000 1.625 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 229 229 2862 62283 0 1640 0 0 -1
normalized size 1 1.00 12.50 271.98 0.00 7.16 0.00 0.00 -0.00
time (sec) N/A 0.249 24.922 3.116 0.000 7.403 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 310 310 3166 234091 0 2729 0 0 -1
normalized size 1 1.00 10.21 755.13 0.00 8.80 0.00 0.00 -0.00
time (sec) N/A 0.342 24.704 11.531 0.000 20.444 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 336 336 286 677 0 620 0 0 -1
normalized size 1 1.00 0.85 2.01 0.00 1.85 0.00 0.00 -0.00
time (sec) N/A 0.209 6.496 1.908 0.000 0.522 0.000 0.000 0.000
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 258 258 191 504 0 500 0 0 -1
normalized size 1 1.00 0.74 1.95 0.00 1.94 0.00 0.00 -0.00
time (sec) N/A 0.177 2.669 1.797 0.000 0.539 0.000 0.000 0.000
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 128 341 1396 390 0 0 -1
normalized size 1 1.00 0.90 2.40 9.83 2.75 0.00 0.00 -0.01
time (sec) N/A 0.232 1.026 1.481 0.799 0.461 0.000 0.000 0.000
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 203 203 343 1487 0 1140 0 0 -1
normalized size 1 1.00 1.69 7.33 0.00 5.62 0.00 0.00 -0.00
time (sec) N/A 0.232 6.547 1.498 0.000 5.105 0.000 0.000 0.000
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 329 329 280 46082 0 2031 0 0 -1
normalized size 1 1.00 0.85 140.07 0.00 6.17 0.00 0.00 -0.00
time (sec) N/A 0.337 3.645 2.123 0.000 23.656 0.000 0.000 0.000
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 536 536 3344 209489 0 3351 0 0 -1
normalized size 1 1.00 6.24 390.84 0.00 6.25 0.00 0.00 -0.00
time (sec) N/A 0.492 26.115 8.149 0.000 40.755 0.000 0.000 0.000
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 258 258 787 907 0 619 0 0 -1
normalized size 1 1.00 3.05 3.52 0.00 2.40 0.00 0.00 -0.00
time (sec) N/A 0.207 7.240 1.913 0.000 13.682 0.000 0.000 0.000
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 183 183 295 358 0 481 0 0 -1
normalized size 1 1.00 1.61 1.96 0.00 2.63 0.00 0.00 -0.01
time (sec) N/A 0.158 2.496 1.692 0.000 3.346 0.000 0.000 0.000
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 92 194 0 314 0 0 -1
normalized size 1 1.00 1.01 2.13 0.00 3.45 0.00 0.00 -0.01
time (sec) N/A 0.110 0.295 1.500 0.000 1.226 0.000 0.000 0.000
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 166 166 431980 662 0 1050 0 0 -1
normalized size 1 1.00 2602.29 3.99 0.00 6.33 0.00 0.00 -0.01
time (sec) N/A 0.372 39.128 2.051 0.000 18.623 0.000 0.000 0.000
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 416 416 473385 117715 0 0 0 0 -1
normalized size 1 1.00 1137.94 282.97 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.422 36.128 5.174 0.000 0.000 0.000 0.000 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 653 653 654358 402966 0 0 0 0 -1
normalized size 1 1.00 1002.08 617.10 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.646 38.992 24.788 0.000 0.000 0.000 0.000 0.000
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 324 324 856 957 0 701 0 0 -1
normalized size 1 1.00 2.64 2.95 0.00 2.16 0.00 0.00 -0.00
time (sec) N/A 0.237 6.575 1.882 0.000 34.523 0.000 0.000 0.000
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 290 290 16153 756 0 620 0 0 -1
normalized size 1 1.00 55.70 2.61 0.00 2.14 0.00 0.00 -0.00
time (sec) N/A 0.217 27.749 1.548 0.000 12.896 0.000 0.000 0.000
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 127 127 10105 552 0 548 0 0 -1
normalized size 1 1.00 79.57 4.35 0.00 4.31 0.00 0.00 -0.01
time (sec) N/A 0.183 26.696 1.380 0.000 3.182 0.000 0.000 0.000
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 394 394 378865 2076 0 0 0 0 -1
normalized size 1 1.00 961.59 5.27 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.335 35.207 1.783 0.000 0.000 0.000 0.000 0.000
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 560 560 582620 164796 0 0 0 0 -1
normalized size 1 1.00 1040.39 294.28 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.511 38.103 5.454 0.000 0.000 0.000 0.000 0.000
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F F(-2) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 802 802 776222 480553 0 0 0 0 -1
normalized size 1 1.00 967.86 599.19 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.797 41.230 31.938 0.000 0.000 0.000 0.000 0.000
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 480 480 21194 1444 0 880 0 0 -1
normalized size 1 1.00 44.15 3.01 0.00 1.83 0.00 0.00 -0.00
time (sec) N/A 0.316 29.390 1.898 0.000 56.607 0.000 0.000 0.000
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 468 468 16249 1133 0 782 0 0 -1
normalized size 1 1.00 34.72 2.42 0.00 1.67 0.00 0.00 -0.00
time (sec) N/A 0.295 27.953 1.636 0.000 23.944 0.000 0.000 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F B F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 164 164 11243 824 0 670 0 0 -1
normalized size 1 1.00 68.55 5.02 0.00 4.09 0.00 0.00 -0.01
time (sec) N/A 0.265 26.947 1.727 0.000 6.363 0.000 0.000 0.000
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 592 592 486155 3860 0 0 0 0 -1
normalized size 1 1.00 821.21 6.52 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.457 36.996 2.046 0.000 0.000 0.000 0.000 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F F(-2) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 756 756 688080 197500 0 0 0 0 -1
normalized size 1 1.00 910.16 261.24 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.634 40.037 7.791 0.000 0.000 0.000 0.000 0.000
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) F(-1) F F(-2) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 999 999 893714 556423 0 0 0 0 -1
normalized size 1 1.00 894.61 556.98 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.914 43.442 44.265 0.000 0.000 0.000 0.000 0.000
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 240 1562 0 806 0 0 -1
normalized size 1 1.00 1.95 12.70 0.00 6.55 0.00 0.00 -0.01
time (sec) N/A 0.339 18.422 2.243 0.000 1.469 0.000 0.000 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 102 189 0 206 0 0 -1
normalized size 1 1.00 1.67 3.10 0.00 3.38 0.00 0.00 -0.02
time (sec) N/A 0.097 0.217 1.957 0.000 0.591 0.000 0.000 0.000
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 135 377 0 517 0 0 -1
normalized size 1 1.00 1.22 3.40 0.00 4.66 0.00 0.00 -0.01
time (sec) N/A 0.357 0.960 2.046 0.000 0.601 0.000 0.000 0.000
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 184 494 0 883 0 0 -1
normalized size 1 1.00 1.30 3.50 0.00 6.26 0.00 0.00 -0.01
time (sec) N/A 0.369 14.615 1.885 0.000 1.004 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 171 424 0 913 0 0 -1
normalized size 1 1.00 1.21 3.01 0.00 6.48 0.00 0.00 -0.01
time (sec) N/A 0.339 0.350 2.133 0.000 1.688 0.000 0.000 0.000
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 68 113 0 250 0 278 573
normalized size 1 1.00 1.01 1.69 0.00 3.73 0.00 4.15 8.55
time (sec) N/A 0.126 0.165 0.736 0.000 0.476 0.000 0.284 2.676
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 155 328 0 561 0 209 3763
normalized size 1 1.00 1.26 2.67 0.00 4.56 0.00 1.70 30.59
time (sec) N/A 0.247 0.661 0.769 0.000 0.495 0.000 0.581 9.327
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 267 1063 0 1152 0 477 6909
normalized size 1 1.00 1.31 5.21 0.00 5.65 0.00 2.34 33.87
time (sec) N/A 0.510 1.418 0.773 0.000 0.589 0.000 8.542 11.353
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 136 462 0 671 0 246 4934
normalized size 1 1.00 1.02 3.47 0.00 5.05 0.00 1.85 37.10
time (sec) N/A 0.285 0.794 0.782 0.000 0.531 0.000 0.298 10.205
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 237 237 493 1593 0 1409 0 686 8682
normalized size 1 1.00 2.08 6.72 0.00 5.95 0.00 2.89 36.63
time (sec) N/A 0.796 2.044 0.738 0.000 0.582 0.000 0.456 12.136
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 377 377 438 3293 0 2362 0 1253 12818
normalized size 1 1.00 1.16 8.73 0.00 6.27 0.00 3.32 34.00
time (sec) N/A 1.999 3.451 0.802 0.000 0.731 0.000 0.465 15.074
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 254 254 517 2031 0 1629 0 852 10759
normalized size 1 1.00 2.04 8.00 0.00 6.41 0.00 3.35 42.36
time (sec) N/A 1.132 2.303 0.723 0.000 0.680 0.000 1.609 14.496
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 412 412 459 4330 0 2776 0 1639 15647
normalized size 1 1.00 1.11 10.51 0.00 6.74 0.00 3.98 37.98
time (sec) N/A 1.062 3.777 0.764 0.000 0.809 0.000 0.931 16.091
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 622 622 1285 8573 0 4346 0 3311 21021
normalized size 1 1.00 2.07 13.78 0.00 6.99 0.00 5.32 33.80
time (sec) N/A 1.769 6.926 0.795 0.000 1.129 0.000 15.070 16.348
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 320 320 913 1372 0 0 0 0 -1
normalized size 1 1.00 2.85 4.29 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.283 17.935 1.944 0.000 0.794 0.000 0.000 0.000
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 220 220 225 443 0 0 0 0 -1
normalized size 1 1.00 1.02 2.01 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.244 4.591 1.693 0.000 0.000 0.000 0.000 0.000
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 380 380 6063 2337 0 0 0 0 -1
normalized size 1 1.00 15.96 6.15 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.433 24.765 1.884 0.000 1.280 0.000 0.000 0.000
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 326 326 230 581 0 0 0 0 -1
normalized size 1 1.00 0.71 1.78 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.361 6.308 1.704 0.000 0.000 0.000 0.000 0.000
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 442 442 7138 3285 0 0 0 0 -1
normalized size 1 1.00 16.15 7.43 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.629 25.995 2.199 0.000 1.466 0.000 0.000 0.000
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 208 208 145 215 0 0 0 0 -1
normalized size 1 1.00 0.70 1.03 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.117 2.687 1.720 0.000 1.381 0.000 0.000 0.000
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 216 216 251 318 0 0 0 0 -1
normalized size 1 1.00 1.16 1.47 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.238 8.624 1.804 0.000 0.000 0.000 0.000 0.000
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 376 376 1491 2010 0 0 0 0 -1
normalized size 1 1.00 3.97 5.35 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.428 14.819 1.804 0.000 0.000 0.000 0.000 0.000
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 495 495 2083 5710 0 0 0 0 -1
normalized size 1 1.00 4.21 11.54 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.778 17.431 1.806 0.000 1.592 0.000 0.000 0.000
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 389 389 39925 543 0 0 0 0 -1
normalized size 1 1.00 102.63 1.40 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.447 32.947 2.293 0.000 0.000 0.000 0.000 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 198 198 336 352 0 0 0 0 -1
normalized size 1 1.00 1.70 1.78 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.106 5.873 2.146 0.000 0.000 0.000 0.000 0.000
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 598 598 1708 2847 0 0 0 0 -1
normalized size 1 1.00 2.86 4.76 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.902 9.283 2.686 0.000 0.000 0.000 0.000 0.000
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F(-1) F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 899 899 1990 15724 0 0 0 0 -1
normalized size 1 1.00 2.21 17.49 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.258 6.904 3.079 0.000 0.000 0.000 0.000 0.000
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 744 744 1750 4298 0 0 0 0 -1
normalized size 1 1.00 2.35 5.78 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.106 9.722 2.098 0.000 0.000 0.000 0.000 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 919 919 1960 13060 0 0 0 0 -1
normalized size 1 1.00 2.13 14.21 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.132 6.736 2.234 0.000 9.291 0.000 0.000 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1122 1122 2385 39420 0 0 0 0 -1
normalized size 1 1.00 2.13 35.13 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.163 7.414 3.402 0.000 8.699 0.000 0.000 0.000
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F(-1) F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 891 891 2026 15922 0 0 0 0 -1
normalized size 1 1.00 2.27 17.87 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.009 6.726 2.296 0.000 0.000 0.000 0.000 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F(-1) F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1150 1150 2344 32283 0 0 0 0 -1
normalized size 1 1.00 2.04 28.07 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.435 7.316 2.977 0.000 0.000 0.000 0.000 0.000
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F(-1) F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1428 1428 2979 75468 0 0 0 0 -1
normalized size 1 1.00 2.09 52.85 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 5.438 8.285 4.944 0.000 0.000 0.000 0.000 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F C A F F(-1) F F F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 652 0 49385 491 0 0 0 0 -1
normalized size 1 0.00 75.74 0.75 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.093 32.785 2.103 0.000 0.000 0.000 0.000 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 198 198 325 352 0 0 0 0 -1
normalized size 1 1.00 1.64 1.78 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.111 5.536 2.129 0.000 4.521 0.000 0.000 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 398 398 249 292 0 0 0 0 -1
normalized size 1 1.00 0.63 0.73 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.437 2.372 2.152 0.000 5.836 0.000 0.000 0.000
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 622 763 1761 3451 0 0 0 0 -1
normalized size 1 1.23 2.83 5.55 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.316 9.642 2.361 0.000 0.000 0.000 0.000 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.191 2.367 1.601 0.000 0.000 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.092 52.113 1.327 0.000 0.000 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) F(-1) A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.091 89.285 1.263 0.000 0.000 0.000 0.000 0.000
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.220 2.613 1.448 0.000 0.000 0.000 0.000 0.000
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.097 53.308 1.270 0.000 0.000 0.000 0.000 0.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) F(-1) A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.096 92.805 1.366 0.000 0.000 0.000 0.000 0.000
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 89 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.218 62.593 1.344 0.000 0.000 0.000 0.000 0.000
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) F(-1) A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.097 102.048 1.270 0.000 0.000 0.000 0.000 0.000
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A F(-1) F(-1) A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.097 148.174 1.317 0.000 0.000 0.000 0.000 0.000
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 106 106 2425 0 0 0 0 0 -1
normalized size 1 1.00 22.88 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.189 14.612 2.509 0.000 1.010 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 275 275 343 0 0 0 0 0 -1
normalized size 1 1.00 1.25 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.437 2.305 1.273 0.000 0.784 0.000 0.000 0.000
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 205 205 299 0 0 0 0 0 -1
normalized size 1 1.00 1.46 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.249 2.819 1.178 0.000 0.917 0.000 0.000 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 156 124 0 0 0 0 0 -1
normalized size 1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.146 0.209 1.224 0.000 0.956 0.000 0.000 0.000
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 208 208 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.271 1.178 1.139 0.000 0.677 0.000 0.000 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F(-1) F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 248 248 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.451 10.827 1.172 0.000 0.471 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 56 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.116 2.691 1.450 0.000 0.521 0.000 0.000 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 296 296 278 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.515 1.306 0.921 0.000 0.438 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 211 211 200 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.242 0.542 1.050 0.000 0.467 0.000 0.000 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 156 125 0 0 0 0 0 -1
normalized size 1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.144 0.240 1.049 0.000 0.452 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 206 206 5411 0 0 0 0 0 -1
normalized size 1 1.00 26.27 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.402 25.625 0.845 0.000 0.441 0.000 0.000 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 322 322 14108 0 0 0 0 0 -1
normalized size 1 1.00 43.81 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.559 45.375 1.000 0.000 0.488 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [31] had the largest ratio of [.5769]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 15 9 1.00 26 0.346
2 A 11 8 1.00 26 0.308
3 A 5 3 1.00 26 0.115
4 A 4 3 1.00 26 0.115
5 A 4 3 1.00 24 0.125
6 A 8 6 1.00 26 0.231
7 A 9 6 1.00 26 0.231
8 A 12 7 1.00 26 0.269
9 A 15 7 1.00 26 0.269
10 A 18 7 1.00 26 0.269
11 A 13 8 1.00 26 0.308
12 A 6 3 1.00 26 0.115
13 A 5 3 1.00 26 0.115
14 A 5 3 1.00 26 0.115
15 A 9 8 1.00 24 0.333
16 A 15 11 1.00 26 0.423
17 A 13 9 1.00 26 0.346
18 A 15 9 1.00 26 0.346
19 A 19 9 1.00 26 0.346
20 A 23 9 1.00 26 0.346
21 A 26 14 1.12 26 0.538
22 A 21 13 1.00 26 0.500
23 A 13 9 1.00 26 0.346
24 A 9 6 1.00 26 0.231
25 A 7 5 1.00 24 0.208
26 A 4 3 1.00 26 0.115
27 A 4 3 1.00 26 0.115
28 A 5 3 1.00 26 0.115
29 A 13 8 1.00 26 0.308
30 A 17 9 1.00 26 0.346
31 A 29 15 1.00 26 0.577
32 A 20 13 1.00 26 0.500
33 A 15 9 1.00 26 0.346
34 A 12 7 1.00 26 0.269
35 A 9 6 1.00 24 0.250
36 A 12 8 1.00 26 0.308
37 A 5 3 1.00 26 0.115
38 A 5 3 1.00 26 0.115
39 A 6 3 1.00 26 0.115
40 A 14 8 1.00 26 0.308
41 A 18 9 1.00 26 0.346
42 A 5 4 1.00 28 0.143
43 A 5 4 1.00 28 0.143
44 A 5 4 1.00 28 0.143
45 A 4 4 1.00 26 0.154
46 A 4 4 1.00 28 0.143
47 A 5 4 1.00 28 0.143
48 A 6 4 1.00 28 0.143
49 A 7 4 1.00 28 0.143
50 A 6 5 1.00 28 0.179
51 A 6 5 1.00 28 0.179
52 A 5 5 1.00 26 0.192
53 A 4 4 1.00 28 0.143
54 A 5 5 1.00 28 0.179
55 A 6 5 1.00 28 0.179
56 A 7 5 1.00 28 0.179
57 A 5 4 1.00 28 0.143
58 A 5 4 1.00 28 0.143
59 A 5 4 1.00 26 0.154
60 A 5 4 1.00 28 0.143
61 A 5 4 1.00 28 0.143
62 A 5 4 1.00 28 0.143
63 A 5 4 1.00 28 0.143
64 A 5 4 1.00 28 0.143
65 A 8 6 1.00 28 0.214
66 A 7 6 1.00 28 0.214
67 A 6 5 1.00 28 0.179
68 A 5 4 1.00 26 0.154
69 A 6 5 1.00 28 0.179
70 A 7 6 1.00 28 0.214
71 A 8 6 1.00 28 0.214
72 A 8 6 1.00 28 0.214
73 A 7 6 1.00 28 0.214
74 A 7 6 1.13 28 0.214
75 A 6 5 1.15 26 0.192
76 A 7 6 1.00 28 0.214
77 A 8 6 1.00 28 0.214
78 A 9 6 1.00 28 0.214
79 A 9 7 1.00 28 0.250
80 A 8 7 1.00 28 0.250
81 A 7 6 1.00 28 0.214
82 A 7 6 1.00 28 0.214
83 A 7 6 1.22 26 0.231
84 A 8 7 1.00 28 0.250
85 A 9 7 1.00 28 0.250
86 A 5 3 1.00 30 0.100
87 A 4 3 1.00 30 0.100
88 A 3 3 1.00 30 0.100
89 A 2 2 1.00 30 0.067
90 A 2 2 1.00 30 0.067
91 A 3 3 1.00 30 0.100
92 A 4 3 1.00 30 0.100
93 A 5 3 1.00 30 0.100
94 A 5 4 1.00 30 0.133
95 A 3 3 1.00 30 0.100
96 A 3 3 1.00 30 0.100
97 A 3 2 1.00 30 0.067
98 A 3 3 1.00 30 0.100
99 A 4 4 1.00 30 0.133
100 A 5 4 1.00 30 0.133
101 A 4 3 1.00 30 0.100
102 A 5 4 1.00 30 0.133
103 A 4 3 1.00 30 0.100
104 A 3 2 1.00 30 0.067
105 A 3 3 1.00 30 0.100
106 A 3 3 1.00 30 0.100
107 A 4 4 1.00 30 0.133
108 A 5 4 1.00 30 0.133
109 A 6 4 1.00 30 0.133
110 A 3 2 1.00 30 0.067
111 A 3 2 1.00 30 0.067
112 A 3 2 1.00 30 0.067
113 A 2 2 1.00 30 0.067
114 A 2 2 1.00 30 0.067
115 A 3 2 1.29 30 0.067
116 A 3 2 1.00 30 0.067
117 A 3 2 1.00 30 0.067
118 A 3 3 1.00 30 0.100
119 A 3 3 1.00 30 0.100
120 A 3 3 1.00 30 0.100
121 A 3 2 1.00 30 0.067
122 A 3 3 1.00 30 0.100
123 A 3 2 1.00 30 0.067
124 A 3 2 1.00 30 0.067
125 A 3 3 1.00 30 0.100
126 A 4 4 1.00 30 0.133
127 A 4 3 1.00 30 0.100
128 A 3 2 1.00 30 0.067
129 A 3 2 1.00 30 0.067
130 A 4 3 1.00 30 0.100
131 A 2 2 1.00 24 0.083
132 A 3 3 1.00 26 0.115
133 A 3 3 1.00 26 0.115
134 A 3 3 1.00 26 0.115
135 A 3 3 1.00 24 0.125
136 A 3 3 1.00 26 0.115
137 A 3 3 1.00 26 0.115
138 A 4 3 1.00 28 0.107
139 A 3 3 1.00 28 0.107
140 A 2 2 1.00 28 0.071
141 A 4 4 1.00 28 0.143
142 A 5 5 1.00 28 0.179
143 A 6 5 1.00 27 0.185
144 A 3 3 1.00 27 0.111
145 A 3 3 1.00 27 0.111
146 A 5 5 1.00 27 0.185
147 A 5 4 1.00 27 0.148
148 A 5 4 1.00 27 0.148
149 A 5 4 1.00 27 0.148
150 A 4 4 1.00 25 0.160
151 A 5 5 1.00 27 0.185
152 A 7 6 1.00 27 0.222
153 A 8 7 1.00 27 0.259
154 A 6 5 1.00 27 0.185
155 A 5 5 1.00 27 0.185
156 A 5 5 1.00 25 0.200
157 A 5 5 1.00 27 0.185
158 A 7 6 1.00 27 0.222
159 A 8 6 1.00 27 0.222
160 A 5 4 1.00 27 0.148
161 A 5 4 1.00 27 0.148
162 A 6 5 1.00 25 0.200
163 A 7 5 1.00 27 0.185
164 A 10 6 1.00 27 0.222
165 A 14 6 1.00 27 0.222
166 A 9 5 1.00 27 0.185
167 A 7 4 1.00 27 0.148
168 A 5 4 1.00 25 0.160
169 A 8 7 1.00 27 0.259
170 A 12 6 1.00 27 0.222
171 A 16 6 1.00 27 0.222
172 A 10 5 1.00 27 0.185
173 A 10 5 1.00 27 0.185
174 A 6 5 1.00 25 0.200
175 A 12 6 1.00 27 0.222
176 A 15 6 1.00 27 0.222
177 A 19 6 1.00 27 0.222
178 A 14 5 1.00 27 0.185
179 A 14 5 1.00 27 0.185
180 A 7 5 1.00 25 0.200
181 A 16 6 1.00 27 0.222
182 A 19 6 1.00 27 0.222
183 A 23 6 1.00 27 0.222
184 A 5 5 1.00 29 0.172
185 A 2 2 1.00 29 0.069
186 A 5 5 1.00 29 0.172
187 A 5 4 1.00 29 0.138
188 A 5 4 1.00 29 0.138
189 A 4 4 1.00 23 0.174
190 A 5 5 1.00 23 0.217
191 A 6 6 1.00 23 0.261
192 A 5 5 1.00 25 0.200
193 A 6 6 1.00 25 0.240
194 A 7 7 1.00 25 0.280
195 A 6 6 1.00 25 0.240
196 A 7 7 1.00 25 0.280
197 A 8 8 1.00 25 0.320
198 A 5 5 1.00 25 0.200
199 A 3 3 1.00 27 0.111
200 A 6 6 1.00 25 0.240
201 A 5 5 1.00 27 0.185
202 A 7 7 1.00 25 0.280
203 A 3 3 1.00 25 0.120
204 A 3 3 1.00 27 0.111
205 A 6 6 1.00 25 0.240
206 A 7 7 1.00 25 0.280
207 A 3 3 1.00 29 0.103
208 A 1 1 1.00 29 0.034
209 A 5 5 1.00 29 0.172
210 A 7 7 1.00 29 0.241
211 A 6 6 1.00 29 0.207
212 A 7 7 1.00 29 0.241
213 A 8 8 1.00 29 0.276
214 A 7 7 1.00 29 0.241
215 A 8 8 1.00 29 0.276
216 A 9 8 1.00 29 0.276
217 F 0 0 N/A 0 N/A
218 A 1 1 1.00 29 0.034
219 A 3 3 1.00 29 0.103
220 A 6 6 1.23 29 0.207
221 A 0 0 0.00 0 0.000
222 A 0 0 0.00 0 0.000
223 A 0 0 0.00 0 0.000
224 A 0 0 0.00 0 0.000
225 A 0 0 0.00 0 0.000
226 A 0 0 0.00 0 0.000
227 A 0 0 0.00 0 0.000
228 A 0 0 0.00 0 0.000
229 A 0 0 0.00 0 0.000
230 A 4 4 1.00 27 0.148
231 A 8 6 1.00 27 0.222
232 A 7 5 1.00 27 0.185
233 A 6 4 1.00 25 0.160
234 A 7 5 1.00 27 0.185
235 A 8 6 1.00 27 0.222
236 A 0 0 0.00 0 0.000
237 A 8 6 1.00 27 0.222
238 A 7 5 1.00 27 0.185
239 A 6 4 1.00 25 0.160
240 A 7 5 1.00 27 0.185
241 A 10 5 1.00 27 0.185

[next] [prev] [prev-tail] [front] [up]